The Factor of a Subdirectly Irreducible Algebra through Its Monolith
نویسنده
چکیده
A nontrivial algebra with at least one at least binary operation is isomorphic to the factor of a subdirectly irreducible algebra through its monolith if and only if the intersection of all its ideals is nonempty.
منابع مشابه
Homomorphic Images of Finite Subdirectly Irreducible Unary Algebras
We prove that a finite unary algebra with at least two operation symbols is a homomorphic image of a (finite) subdirectly irreducible algebra if and only if the intersection of all its subalgebras which have at least two elements is nonempty. We are concerned with the following question: Which algebras are homomorphic images of subdirectly irreducible algebras? A necessary condition, discovered...
متن کاملEvery Quasigroup Is Isomorphic to a Subdirectly Irreducible Quasigroup modulo Its Monolith
Every quasigroup (loop, Bol loop, group, respectively) is isomorphic to the factor of a subdirectly irreducible quasigroup (loop, Bol loop, group, respectively) over its monolithic congruence.
متن کاملCOGENERATOR AND SUBDIRECTLY IRREDUCIBLE IN THE CATEGORY OF S-POSETS
In this paper we study the notions of cogenerator and subdirectlyirreducible in the category of S-poset. First we give somenecessary and sufficient conditions for a cogenerator $S$-posets.Then we see that under some conditions, regular injectivityimplies generator and cogenerator. Recalling Birkhoff'sRepresentation Theorem for algebra, we study subdirectlyirreducible S-posets and give this theo...
متن کاملThe Endomorphism Semiring of a Semilattice
We prove that the endomorphism semiring of a nontrivial semilattice is always subdirectly irreducible and describe its monolith. The endomorphism semiring is congruence simple if and only if the semilattice has both a least and a largest element.
متن کاملDIRECTLY INDECOMPOSABLE RESIDUATED LATTICES
The aim of this paper is to extend results established by H. Onoand T. Kowalski regarding directly indecomposable commutative residuatedlattices to the non-commutative case. The main theorem states that a residuatedlattice A is directly indecomposable if and only if its Boolean center B(A)is {0, 1}. We also prove that any linearly ordered residuated lattice and anylocal residuated lattice are d...
متن کامل